Concurrency control

Results: 1488



#Item
311Concurrency control / Consensus / Probabilistic complexity theory / Algorithm / Synchronizer / Non-blocking algorithm / PP / Distributed computing / Randomized algorithm / Theoretical computer science / Computational complexity theory / Applied mathematics

Notes on Theory of Distributed Systems CS: Spring 2014 James Aspnes:02

Add to Reading List

Source URL: cs-www.cs.yale.edu

Language: English - Date: 2014-05-02 18:02:39
312Data management / Databases / Concurrency control / Global serializability / Serializability / Replication / Service-oriented architecture / Communications protocol / Scalability / Data / Information / Transaction processing

Life beyond Distributed Transactions: an Apostate’s Opinion Position Paper Pat Helland Amazon.Com 705 Fifth Ave South

Add to Reading List

Source URL: adrianmarriott.net

Language: English - Date: 2009-06-11 17:55:10
313Data management / Software bug / Lock / Linearizability / Parallel computing / Thread / Serializability / Mutual exclusion / Kernel / Concurrency control / Computing / Transaction processing

AI: A Lightweight System for Tolerating Concurrency Bugs Mingxing Zhang1 Yongwei Wu1 Shan Lu2,∗ Shanxiang Qi3,† Jinglei Ren1 Weimin Zheng1 1 Tsinghua National Laboratory for Information Science and Technology, Tsing

Add to Reading List

Source URL: people.cs.uchicago.edu

Language: English - Date: 2014-08-19 10:13:59
314Information / Concurrency control / Databases / Database management systems / Serializability / Schedule / Extensible Storage Engine / Two-phase locking / ACID / Transaction processing / Data management / Data

Transaction chains: achieving serializability with low latency in geo-distributed storage systems Yang Zhang∗ , Russell Power∗ , Siyuan Zhou∗ , Yair Sovran∗ , Marcos K. Aguilera‡ , Jinyang Li∗ ∗ New York Un

Add to Reading List

Source URL: news.cs.nyu.edu

Language: English - Date: 2013-10-28 21:16:05
315Lock / Thread / Hewlett-Packard / C dynamic memory allocation / Computing / Computer hardware / Concurrency control

How to Miscompile Programs with “Benign” Data Races Hans-J. Boehm Date: © Copyright 2011 Hewlett-Packard Development Company, L.P.

Add to Reading List

Source URL: hboehm.info

Language: English - Date: 2014-02-06 19:37:31
316Concurrency control / Computer memory / Compiler construction / Programming language design / OpenMP / Lock / Memory model / Linearizability / Thread / Computing / Software engineering / Parallel computing

Performance Implications of Fence-Based Memory Models Hans-J. Boehm HP Labs Simplified mainstream (Java, C++)

Add to Reading List

Source URL: hboehm.info

Language: English - Date: 2014-02-06 19:37:32
317Information / Databases / Concurrency control / Serializability / Low latency / Replication / Latency / Transaction processing / Data management / Data

Transaction Chains: Achieving Serializability with Low Latency in Geo-Distributed Storage Systems Yang * Zhang

Add to Reading List

Source URL: www.yzhang.net

Language: English - Date: 2015-02-12 19:02:19
318Data / Information / Linearizability / Monitor / Sequential consistency / Concurrent data structure / Communications protocol / Consistency model / Concurrent computing / Computing / Concurrency control / Transaction processing

Linearizability: A Correctness Condition for Concurrent Objects MAURICE P. HERLIHY and JEANNETTE Carnegie Mellon University M. WING

Add to Reading List

Source URL: cs.brown.edu

Language: English - Date: 2002-12-21 01:16:06
319Computing / Data / Software transactional memory / Rock / Non-blocking algorithm / CPU cache / Transactional memory / Parallel computing / Linearizability / Concurrency control / Transaction processing / Data management

Opportunities and pitfalls of multi-core scaling using Hardware Transaction Memory∗ Zhaoguo Wang†, Hao Qian‡, Haibo Chen‡, Jinyang Li§ † School of Computer Science, Fudan University ‡ Institute of Parallel a

Add to Reading List

Source URL: news.cs.nyu.edu

Language: English - Date: 2013-07-16 15:24:14
320Computing / Theoretical computer science / Computer programming / Logic in computer science / Software testing / Linearizability / Race condition / Atomicity / Lock / Software bugs / Transaction processing / Concurrency control

Efficient Concurrency-Bug Detection Across Inputs Dongdong Deng Wei Zhang Shan Lu

Add to Reading List

Source URL: people.cs.uchicago.edu

Language: English - Date: 2013-08-04 18:25:14
UPDATE